Inhalt des Dokuments
Lehre
-
Freisemester im WiSe 17/18
Aufgrund des Freisemesters des Fachgebietsleiters wird im WiSe 17/18 nur ein Rumpfprogramm angeboten. Das Modul "Formale Sprachen und Automaten" wird von Dr. Kirstin Peters durchgeführt.
-
Freisemester WiSe 13/14
Aufgrund des Freisemesters des Fachgebietsleiters wird im WiSe 13/14 nur ein Rumpfprogramm angeboten. TheGI1 wird von Prof. Stephan Kreutzer durchgeführtTheGI wird von Dr. Kirstin...
-
Lehrangebot
Die Webseiten wurden nun endlich aktualisiert und systematisiert. Man kann nun sowohl auf die (allein) prüfungsrelevanten Module zugreifen und sich zu deren Entstehung und Weiterentwicklung informieren, als auch —...
-
Neue Lehrveranstaltung im SoSe 10
In Sommersemester 2010 wird zum ersten Mal das Modul MINF-VS-SYNC angeboten. Es enthält ein Seminar "Synchrone und Asynchrone Interaktion in Verteilten Systemen". Weitere Informationen finden sich in...
-
Gastvorlesung: Calculus of Computation von Prof. Zohar Manna
Professor Zohar Manna aus Stanford hält vom 19.10.2009 bis 27.11.2009 eine Vorlesungsreihe mit dem Titel "Calculus of Computation". Weitere Informationen: https://www.isis.tu-berlin.de/course/view.php?id=2398
-
"Dienst"-Adresse
Das Fachgebiet ist für Anfragen unter der Adresse service@mtv.tu-berlin.de zu erreichen.
-
MTV2 und MTV3 in der 1. Vorlesungswoche
Anmeldungen zu "Verteilte Algorithmen" (MTV2) und "Temporallogik für Softwareingenieure" (MTV3) sind jetzt über die entsprechenden ISIS-Seiten möglich. In der ersten Vorlesungswoche gibt es...